#include <vul/io/vul_io_user_info.h>

int main() { return 0; }
